#include "LPC43xx.h"
#include "us_ticker_api.h"
#include "platform/mbed_application.h"

//void __cxa_finalize(int);

void mbed_sdk_init() {
	SystemCoreClockUpdate();
}

void mbed_sdk_uninit(void) {
	__disable_irq();
	SysTick->CTRL = 0;
	us_ticker_disable_interrupt(); 
	//__cxa_finalize(0);
	__disable_irq();
	for (int i = NonMaskableInt_IRQn; i < QEI_IRQn; i++) {
		NVIC_DisableIRQ((IRQn_Type)i);
	}
}


